\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Formal System Model}{7}{chapter.2}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{loa}{\addvspace {10\p@ }}
\newlabel{chap:formal_model}{{2}{7}{Formal System Model}{chapter.2}{}}
\newlabel{chap:formal_model@cref}{{[chapter][2][]2}{[1][7][]7}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Introduction}{7}{section.2.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Core POMDP Formulation}{7}{section.2.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}State Space Definition}{7}{subsection.2.2.1}\protected@file@percent }
\newlabel{def:env_state}{{2.1}{7}{Environmental State}{theorem.2.1}{}}
\newlabel{def:env_state@cref}{{[theorem][1][2]2.1}{[1][7][]7}{}{}{}}
\newlabel{prop:state_structure}{{2.2}{7}{State Space Structure}{theorem.2.2}{}}
\newlabel{prop:state_structure@cref}{{[theorem][2][2]2.2}{[1][7][]7}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}Action Space Definition}{8}{subsection.2.2.2}\protected@file@percent }
\newlabel{def:action_space}{{2.3}{8}{Action Space}{theorem.2.3}{}}
\newlabel{def:action_space@cref}{{[theorem][3][2]2.3}{[1][8][]8}{}{}{}}
\newlabel{def:tool_set}{{2.4}{8}{Tool Set}{theorem.2.4}{}}
\newlabel{def:tool_set@cref}{{[theorem][4][2]2.4}{[1][8][]8}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}Observation Model}{8}{subsection.2.2.3}\protected@file@percent }
\newlabel{def:obs_space}{{2.5}{8}{Observation Space}{theorem.2.5}{}}
\newlabel{def:obs_space@cref}{{[theorem][5][2]2.5}{[1][8][]8}{}{}{}}
\newlabel{def:obs_function}{{2.6}{8}{Observation Function}{theorem.2.6}{}}
\newlabel{def:obs_function@cref}{{[theorem][6][2]2.6}{[1][8][]8}{}{}{}}
\newlabel{ass:obs_reliability}{{2.7}{8}{Observation Reliability}{theorem.2.7}{}}
\newlabel{ass:obs_reliability@cref}{{[theorem][7][2]2.7}{[1][8][]8}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.4}Transition Dynamics}{9}{subsection.2.2.4}\protected@file@percent }
\newlabel{def:transition}{{2.8}{9}{Transition Function}{theorem.2.8}{}}
\newlabel{def:transition@cref}{{[theorem][8][2]2.8}{[1][8][]9}{}{}{}}
\newlabel{ass:transition_sep}{{2.9}{9}{Transition Separability}{theorem.2.9}{}}
\newlabel{ass:transition_sep@cref}{{[theorem][9][2]2.9}{[1][9][]9}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Hierarchical Options Framework}{9}{section.2.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}Options Definition}{9}{subsection.2.3.1}\protected@file@percent }
\newlabel{def:option}{{2.10}{9}{Option}{theorem.2.10}{}}
\newlabel{def:option@cref}{{[theorem][10][2]2.10}{[1][9][]9}{}{}{}}
\newlabel{def:high_level_options}{{2.11}{9}{High-Level Options}{theorem.2.11}{}}
\newlabel{def:high_level_options@cref}{{[theorem][11][2]2.11}{[1][9][]9}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}Option Selection Policy}{9}{subsection.2.3.2}\protected@file@percent }
\newlabel{def:meta_policy}{{2.12}{9}{Meta-Policy}{theorem.2.12}{}}
\newlabel{def:meta_policy@cref}{{[theorem][12][2]2.12}{[1][9][]9}{}{}{}}
\newlabel{thm:hierarchical_improvement}{{2.13}{9}{Hierarchical Policy Improvement}{theorem.2.13}{}}
\newlabel{thm:hierarchical_improvement@cref}{{[theorem][13][2]2.13}{[1][9][]9}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Tool Environment Semantics}{10}{section.2.4}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}Tool Execution Model}{10}{subsection.2.4.1}\protected@file@percent }
\newlabel{def:tool_exec}{{2.14}{10}{Tool Execution}{theorem.2.14}{}}
\newlabel{def:tool_exec@cref}{{[theorem][14][2]2.14}{[1][10][]10}{}{}{}}
\newlabel{def:tool_semantics}{{2.15}{10}{Tool Categories and Semantics}{theorem.2.15}{}}
\newlabel{def:tool_semantics@cref}{{[theorem][15][2]2.15}{[1][10][]10}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}Concurrent Tool Execution}{10}{subsection.2.4.2}\protected@file@percent }
\newlabel{def:tool_compatibility}{{2.16}{10}{Tool Compatibility}{theorem.2.16}{}}
\newlabel{def:tool_compatibility@cref}{{[theorem][16][2]2.16}{[1][10][]10}{}{}{}}
\newlabel{prop:concurrent_safety}{{2.17}{10}{Concurrent Execution Safety}{theorem.2.17}{}}
\newlabel{prop:concurrent_safety@cref}{{[theorem][17][2]2.17}{[1][10][]10}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Multi-Objective Optimization Framework}{10}{section.2.5}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}Objective Functions}{11}{subsection.2.5.1}\protected@file@percent }
\newlabel{def:quality_function}{{2.18}{11}{Quality Function}{theorem.2.18}{}}
\newlabel{def:quality_function@cref}{{[theorem][18][2]2.18}{[1][10][]11}{}{}{}}
\newlabel{def:cost_function}{{2.19}{11}{Cost Function}{theorem.2.19}{}}
\newlabel{def:cost_function@cref}{{[theorem][19][2]2.19}{[1][10][]11}{}{}{}}
\newlabel{def:risk_function}{{2.20}{11}{Risk Function}{theorem.2.20}{}}
\newlabel{def:risk_function@cref}{{[theorem][20][2]2.20}{[1][11][]11}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}Pareto Optimality}{11}{subsection.2.5.2}\protected@file@percent }
\newlabel{def:pareto_optimal}{{2.21}{11}{Pareto Optimal Policy}{theorem.2.21}{}}
\newlabel{def:pareto_optimal@cref}{{[theorem][21][2]2.21}{[1][11][]11}{}{}{}}
\newlabel{thm:pareto_set}{{2.22}{11}{Pareto Set Characterization}{theorem.2.22}{}}
\newlabel{thm:pareto_set@cref}{{[theorem][22][2]2.22}{[1][11][]11}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.3}Scalarization and Solution Methods}{11}{subsection.2.5.3}\protected@file@percent }
\newlabel{def:weighted_scalar}{{2.23}{11}{Weighted Scalarization}{theorem.2.23}{}}
\newlabel{def:weighted_scalar@cref}{{[theorem][23][2]2.23}{[1][11][]11}{}{}{}}
\newlabel{thm:scalar_optimal}{{2.24}{11}{Scalarization Optimality}{theorem.2.24}{}}
\newlabel{thm:scalar_optimal@cref}{{[theorem][24][2]2.24}{[1][11][]11}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Belief State Dynamics}{11}{section.2.6}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.1}Belief Update Mechanism}{11}{subsection.2.6.1}\protected@file@percent }
\newlabel{def:belief_update}{{2.25}{11}{Belief Update}{theorem.2.25}{}}
\newlabel{def:belief_update@cref}{{[theorem][25][2]2.25}{[1][11][]11}{}{}{}}
\newlabel{ass:tractable_belief}{{2.26}{12}{Computational Tractability}{theorem.2.26}{}}
\newlabel{ass:tractable_belief@cref}{{[theorem][26][2]2.26}{[1][11][]12}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.2}Information-Theoretic Analysis}{12}{subsection.2.6.2}\protected@file@percent }
\newlabel{def:belief_entropy}{{2.27}{12}{Belief Entropy}{theorem.2.27}{}}
\newlabel{def:belief_entropy@cref}{{[theorem][27][2]2.27}{[1][12][]12}{}{}{}}
\newlabel{prop:info_gain}{{2.28}{12}{Information Gain}{theorem.2.28}{}}
\newlabel{prop:info_gain@cref}{{[theorem][28][2]2.28}{[1][12][]12}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Context Management Framework}{12}{section.2.7}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.1}Context State Representation}{12}{subsection.2.7.1}\protected@file@percent }
\newlabel{def:context_components}{{2.29}{12}{Context Components}{theorem.2.29}{}}
\newlabel{def:context_components@cref}{{[theorem][29][2]2.29}{[1][12][]12}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.2}Context Selection Optimization}{12}{subsection.2.7.2}\protected@file@percent }
\newlabel{def:context_selection}{{2.30}{12}{Context Selection Problem}{theorem.2.30}{}}
\newlabel{def:context_selection@cref}{{[theorem][30][2]2.30}{[1][12][]12}{}{}{}}
\newlabel{ass:submodular_context}{{2.31}{13}{Submodular Context Utility}{theorem.2.31}{}}
\newlabel{ass:submodular_context@cref}{{[theorem][31][2]2.31}{[1][12][]13}{}{}{}}
\newlabel{thm:context_approx}{{2.32}{13}{Context Selection Approximation}{theorem.2.32}{}}
\newlabel{thm:context_approx@cref}{{[theorem][32][2]2.32}{[1][12][]13}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Learning and Adaptation}{13}{section.2.8}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8.1}Online Learning Framework}{13}{subsection.2.8.1}\protected@file@percent }
\newlabel{def:learning_components}{{2.33}{13}{Learning Components}{theorem.2.33}{}}
\newlabel{def:learning_components@cref}{{[theorem][33][2]2.33}{[1][13][]13}{}{}{}}
\newlabel{def:regret_min}{{2.34}{13}{Regret Minimization}{theorem.2.34}{}}
\newlabel{def:regret_min@cref}{{[theorem][34][2]2.34}{[1][13][]13}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8.2}Adaptive Parameter Tuning}{13}{subsection.2.8.2}\protected@file@percent }
\newlabel{def:adaptive_weights}{{2.35}{13}{Adaptive Weights}{theorem.2.35}{}}
\newlabel{def:adaptive_weights@cref}{{[theorem][35][2]2.35}{[1][13][]13}{}{}{}}
\newlabel{thm:weight_convergence}{{2.36}{13}{Weight Adaptation Convergence}{theorem.2.36}{}}
\newlabel{thm:weight_convergence@cref}{{[theorem][36][2]2.36}{[1][13][]13}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.9}System Properties and Guarantees}{13}{section.2.9}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.9.1}Stability and Convergence}{13}{subsection.2.9.1}\protected@file@percent }
\newlabel{thm:stability}{{2.37}{13}{System Stability}{theorem.2.37}{}}
\newlabel{thm:stability@cref}{{[theorem][37][2]2.37}{[1][13][]13}{}{}{}}
\newlabel{thm:learning_convergence}{{2.38}{13}{Learning Convergence}{theorem.2.38}{}}
\newlabel{thm:learning_convergence@cref}{{[theorem][38][2]2.38}{[1][13][]13}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.9.2}Safety Guarantees}{14}{subsection.2.9.2}\protected@file@percent }
\newlabel{def:safety_properties}{{2.39}{14}{Safety Properties}{theorem.2.39}{}}
\newlabel{def:safety_properties@cref}{{[theorem][39][2]2.39}{[1][13][]14}{}{}{}}
\newlabel{thm:safety_bounds}{{2.40}{14}{Probabilistic Safety Bounds}{theorem.2.40}{}}
\newlabel{thm:safety_bounds@cref}{{[theorem][40][2]2.40}{[1][14][]14}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.10}Computational Complexity}{14}{section.2.10}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.1}Decision Problem Complexity}{14}{subsection.2.10.1}\protected@file@percent }
\newlabel{thm:optimal_complexity}{{2.41}{14}{Optimal Policy Complexity}{theorem.2.41}{}}
\newlabel{thm:optimal_complexity@cref}{{[theorem][41][2]2.41}{[1][14][]14}{}{}{}}
\newlabel{thm:approx_complexity}{{2.42}{14}{Approximation Complexity}{theorem.2.42}{}}
\newlabel{thm:approx_complexity@cref}{{[theorem][42][2]2.42}{[1][14][]14}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.2}Runtime Analysis}{14}{subsection.2.10.2}\protected@file@percent }
\newlabel{prop:belief_complexity}{{2.43}{14}{Belief Update Complexity}{theorem.2.43}{}}
\newlabel{prop:belief_complexity@cref}{{[theorem][43][2]2.43}{[1][14][]14}{}{}{}}
\newlabel{prop:context_complexity}{{2.44}{14}{Context Selection Complexity}{theorem.2.44}{}}
\newlabel{prop:context_complexity@cref}{{[theorem][44][2]2.44}{[1][14][]14}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.11}Summary}{14}{section.2.11}\protected@file@percent }
\@setckpt{chapters/chapter2_formal_model}{
\setcounter{page}{16}
\setcounter{equation}{32}
\setcounter{enumi}{4}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{11}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{AlgoLine}{0}
\setcounter{algocfline}{0}
\setcounter{algocfproc}{0}
\setcounter{algocf}{0}
\setcounter{ALG@line}{0}
\setcounter{ALG@rem}{0}
\setcounter{ALG@nested}{0}
\setcounter{ALG@Lnr}{2}
\setcounter{ALG@blocknr}{10}
\setcounter{ALG@storecount}{0}
\setcounter{ALG@tmpcounter}{0}
\setcounter{lstnumber}{1}
\setcounter{caption@flags}{2}
\setcounter{continuedfloat}{0}
\setcounter{subfigure}{0}
\setcounter{subtable}{0}
\setcounter{LT@tables}{0}
\setcounter{LT@chunks}{0}
\setcounter{tabx@nest}{0}
\setcounter{listtotal}{0}
\setcounter{listcount}{0}
\setcounter{liststart}{0}
\setcounter{liststop}{0}
\setcounter{citecount}{0}
\setcounter{citetotal}{0}
\setcounter{multicitecount}{0}
\setcounter{multicitetotal}{0}
\setcounter{instcount}{0}
\setcounter{maxnames}{3}
\setcounter{minnames}{1}
\setcounter{maxitems}{3}
\setcounter{minitems}{1}
\setcounter{citecounter}{0}
\setcounter{maxcitecounter}{0}
\setcounter{savedcitecounter}{0}
\setcounter{uniquelist}{0}
\setcounter{uniquename}{0}
\setcounter{refsection}{0}
\setcounter{refsegment}{0}
\setcounter{maxextratitle}{0}
\setcounter{maxextratitleyear}{0}
\setcounter{maxextraname}{0}
\setcounter{maxextradate}{0}
\setcounter{maxextraalpha}{0}
\setcounter{abbrvpenalty}{50}
\setcounter{highnamepenalty}{50}
\setcounter{lownamepenalty}{25}
\setcounter{maxparens}{3}
\setcounter{parenlevel}{0}
\setcounter{blx@maxsection}{0}
\setcounter{mincomprange}{10}
\setcounter{maxcomprange}{100000}
\setcounter{mincompwidth}{1}
\setcounter{afterword}{0}
\setcounter{savedafterword}{0}
\setcounter{annotator}{0}
\setcounter{savedannotator}{0}
\setcounter{author}{0}
\setcounter{savedauthor}{0}
\setcounter{bookauthor}{0}
\setcounter{savedbookauthor}{0}
\setcounter{commentator}{0}
\setcounter{savedcommentator}{0}
\setcounter{editor}{0}
\setcounter{savededitor}{0}
\setcounter{editora}{0}
\setcounter{savededitora}{0}
\setcounter{editorb}{0}
\setcounter{savededitorb}{0}
\setcounter{editorc}{0}
\setcounter{savededitorc}{0}
\setcounter{foreword}{0}
\setcounter{savedforeword}{0}
\setcounter{holder}{0}
\setcounter{savedholder}{0}
\setcounter{introduction}{0}
\setcounter{savedintroduction}{0}
\setcounter{namea}{0}
\setcounter{savednamea}{0}
\setcounter{nameb}{0}
\setcounter{savednameb}{0}
\setcounter{namec}{0}
\setcounter{savednamec}{0}
\setcounter{translator}{0}
\setcounter{savedtranslator}{0}
\setcounter{shortauthor}{0}
\setcounter{savedshortauthor}{0}
\setcounter{shorteditor}{0}
\setcounter{savedshorteditor}{0}
\setcounter{labelname}{0}
\setcounter{savedlabelname}{0}
\setcounter{institution}{0}
\setcounter{savedinstitution}{0}
\setcounter{lista}{0}
\setcounter{savedlista}{0}
\setcounter{listb}{0}
\setcounter{savedlistb}{0}
\setcounter{listc}{0}
\setcounter{savedlistc}{0}
\setcounter{listd}{0}
\setcounter{savedlistd}{0}
\setcounter{liste}{0}
\setcounter{savedliste}{0}
\setcounter{listf}{0}
\setcounter{savedlistf}{0}
\setcounter{location}{0}
\setcounter{savedlocation}{0}
\setcounter{organization}{0}
\setcounter{savedorganization}{0}
\setcounter{origlocation}{0}
\setcounter{savedoriglocation}{0}
\setcounter{origpublisher}{0}
\setcounter{savedorigpublisher}{0}
\setcounter{publisher}{0}
\setcounter{savedpublisher}{0}
\setcounter{language}{0}
\setcounter{savedlanguage}{0}
\setcounter{origlanguage}{0}
\setcounter{savedoriglanguage}{0}
\setcounter{pageref}{0}
\setcounter{savedpageref}{0}
\setcounter{textcitecount}{0}
\setcounter{textcitetotal}{0}
\setcounter{textcitemaxnames}{0}
\setcounter{biburlbigbreakpenalty}{100}
\setcounter{biburlbreakpenalty}{200}
\setcounter{biburlnumpenalty}{0}
\setcounter{biburlucpenalty}{0}
\setcounter{biburllcpenalty}{0}
\setcounter{smartand}{1}
\setcounter{bbx:relatedcount}{0}
\setcounter{bbx:relatedtotal}{0}
\setcounter{section@level}{0}
\setcounter{Item}{29}
\setcounter{Hfootnote}{0}
\setcounter{Hy@AnnotLevel}{0}
\setcounter{bookmark@seq@number}{55}
\setcounter{mdf@globalstyle@cnt}{0}
\setcounter{mdfcountframes}{0}
\setcounter{mdf@env@i}{0}
\setcounter{mdf@env@ii}{0}
\setcounter{mdf@zref@counter}{4}
\setcounter{@pps}{0}
\setcounter{@ppsavesec}{0}
\setcounter{@ppsaveapp}{0}
\setcounter{theorem}{44}
\setcounter{lstlisting}{0}
}
